double summation